Semantics of plan revision in intelligent agents
نویسندگان
چکیده
منابع مشابه
Semantics of Plan Revision in Intelligent Agents
In this paper, we give an operational and denotational semantics for a 3APL meta-language, with which various 3APL interpreters can be programmed. We moreover prove equivalence of these two semantics. Furthermore, we relate this 3APL meta-language to object-level 3APL by providing a specific interpreter, the semantics of which will prove to be equivalent to object-level 3APL.
متن کاملA Compositional Semantics of Plan Revision in Intelligent Agents
This paper revolves around the so-called plan revision rules of the agent programming language 3APL. These rules can be viewed as a generalization of procedures. This generalization however results in the semantics of programs of the 3APL language no longer being compositional. This gives rise to problems when trying to define a proof system for the language. In this paper we define a restricte...
متن کاملDynamic Logic for Plan Revision in Intelligent Agents
In this paper, we present a dynamic logic for a propositional version of the agent programming language 3APL. A 3APL agent has beliefs and a plan. The execution of a plan changes an agent’s beliefs. Plans can be revised during execution. Due to these plan revision capabilities of 3APL agents, plans cannot be analyzed by structural induction as in for example standard propositional dynamic logic...
متن کاملPlan-belief Revision in Jason
When information is shared between agents of unknown reliability, it is possible that their belief bases become inconsistent. In such cases, the belief base must be revised to restore consistency, so that the agent is able to reason. In some cases the inconsistent information may be due to use of incorrect plans. We extend work by Alechina et al. to revise belief bases in which plans can be dyn...
متن کاملInvestigating Impact of Intelligent Agents in Improving Supply Chain Performance
Improvement in supply chain performance is one of the major issues in the current world. Lack of coordination in the supply chain is the main drawback of supply chain that many researchers have proposed different methodologies to overcome it. VMI (Vendor-managed inventory) is one of these methodologies that implementing it has some obstacles. This paper proposes new model that is agent-managed ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2006
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2005.09.070